Esto prueba que la relación de congruencia módulo formula_126 es una relación de equivalencia.