divise équivaut à : « il existe un entier naturel tel que », c'est-à-dire .

Comme est un entier naturel, .

Donc les solutions sont tous les entiers naturels s'écrivant sous la forme avec entier naturel et .