Riesz representation theorem

Every bounded linear functional on a Hilbert space is inner product with one unique vector, with equal norms.