En ese caso (cuando formula_3 es no inyectiva) tenemos