Es decir que las congruencias lineales preservan largo de vectores.