Es sencillo comprobar que formula_22 es una relación de equivalencia.