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