Es claro que formula_380 existe cuando formula_3 es biyectiva.