Sea formula_129 una transformación lineal que es una congruencia.