Teorema Congruencia por AAL