Entonces "f" es suprayectiva y satisface