Sea formula_2 la proyección que lleva cada z en su clase de equivalencia.