Entonces, puesto que formula_3 es inyectiva, existe un único formula_209 tal que formula_32.