Por lo que particiona a formula_121 en clases de equivalencia.