Soit .
1
Montrer que si et sont dans alors et le sont aussi.
2
Trouver les élements inversibles de , c’est-à-dire les éléments tels qu’il existe avec .
3
Vérifier que quel que soit il existe tel que .
4
Montrer qu’il existe sur une division euclidienne, c’est-à-dire que, quels que soient et dans il existe et dans vérifiant : (Indication : on pourra considérer le complexe )