On veut montrer que surjective implique surjective.

Soit un élément de Il a un antécédent par et donc a un antécédent par l'application