Sea formula_129 una transformación ortogonal y consideremos la base ortonormal canónica formula_252.