Como formula_488, tenemos que la función formula_489 es suprayectiva.