La parte lineal de una congruencia es una transformación ortogonal.