Teorema Congruencia por LLL