Supposons qu'il existe un élément tel que Est-ce que ?

On a donc un élément de qui n'est pas image d'un élément de par

Ce raisonnement est valable pour toute application

Il n'existe donc pas d'application surjective de dans