L'ensemble des diviseurs dans de est .

divise si et seulement si .

étant un entier relatif, seules les équations suivantes ont des solutions dans :

Donc il y a quatre solutions : , , et .

1. C'est faux ! Il suffit pour s'en convaincre d'observer l'exemple suivant :

   et ne divise pas .

2. C'est faux ! Il suffit pour s'en convaincre d'observer l'exemple suivant :

   pourtant ne divise ni ni .

3. C'est vrai ! Si et alors, par transitivité, .

   Or si, dans , et , alors .

   De même, en remplaçant dans les données, si dans , et , alors .

   Donc, dans , si et et , alors .