Week 13: Representation of linear functional on Hilbert space