Sea formula_2 un espacio de Hilbert, suponga que formula_3 es una secuencia ortonormal en formula_2.