Montrer que tout entier non divisible par a un carré de la forme : ou avec entier.
Dans la division euclidienne de par , les restes sont : ou .
Donc s'écrit sous la forme ou ou ou ou , où .
Soit un entier relatif non divisible par , alors s'écrit sous la forme ou ou ou , avec .
Si alors donc s'écrit sous la forme .
Donc tout entier non divisible par a un carré de la forme : ou avec entier.