On veut montrer que est surjective. On prend un élément de et on veut lui trouver un antécédent par

est surjective. possède un antécédent par

est surjective. possède un antécédent par

Donc est un antécédent de par

Conclusion : est surjective.