Pour vérifier que l'application est surjective, on démontre que tout élément de est l'image par d'un élément de .