La aplicación formula_153 no es necesariamente inyectiva.