Parseval's Identity

Let be a Hilbert Space with an Orthonormal Basis of
Then:

Corollary

Let be Separable infinite dimensional Hilbert Space
Then is Isometric Isomorphism to