Por ejemplo, formula_40 es la clase de equivalencia del número racional formula_41.