Soit et deux entiers non tous nuls et le sous-groupe de engendré par .
1
Montrer que est inclus dans .
2
Montrer que est inclus dans .
3
Montrer que est un sous-groupe de , contenant .
4
Montrer que est inclus dans .
5
Montrer que est .
6
Montrer que .