Se define una relación de equivalencia como formula_3, ssi, formula_4 es un múltiplo de formula_1.