Si "B" es una base ortonormal en un espacio vectorial producto interno de dimensión finita formula_1, entonces