Si la función formula_3 es biyectiva (es decir, si es tanto inyectiva como sobreyectiva), se cumple, en vista de (h) e (i), lo siguiente