Let H be an inner product space and let (ek)k=1 be an orthonormal set. Then for all hH

k=1ek,h2||h||2