Hey! :o
I am lokking at the proof of the following sentence.
An infinite orthonormal system $\{e_1, e_2, ... \} \subset H$, where $H$ an euclidean space, is closed at $H$ iff $ \forall x \in H$
$$||x||^2=\sum_{i=1}^n{|(x,e_i)|^2}$$
We suppose a subspace of $H$, that is produced by the basis...