La clase de equivalencia de formula_20 es formula_21.