teorema de congruencia lineal.