Si la función formula_3 es además inyectiva, se cumple