Sea formula_3 una matriz ortogonal formula_2 por formula_2.