1. On compose dans les deux ordres :
2. On repère l'opération faite en dernier :
• , avec , et , ;
• , avec , ; on reconnaît d'ailleurs ;
• , avec , et , ;
• , avec , .
Pour et , le choix des ensembles n'est pas libre : il faut que l'image de la première application tombe dans l'ensemble de départ de la seconde.
3. Pour : Montrons par récurrence que pour tout . C'est vrai pour , et si c'est vrai au rang , alors
La formule reste vraie pour , avec .
4. Si l'on avait , alors , ce qui est absurde. Donc est à valeurs dans et a un sens. Pour ,
L'application , vue de dans lui-même, est donc une involution : elle est bijective et égale à sa réciproque, comme le montrera l'exercice 17.