Riesz representation theorem

Furthermore, the length of the representation vector is equal to the norm of the functional: