La desigualdad proviene en realidad de una identidad, válida para toda base ortonormal.