Let be a Hilbert Space and an Orthonormal Sequence in
Then for all :

In particular