On considère le théorème suivant :
- tout carré n2 a un nombre impair de diviseurs.
Supposons que le nombre n2 est un carré et possède 2k diviseurs. Enlevons 1, n2 et n. Il reste un nombre impair de diviseurs. Formons parmi ceux-ci les couples z1, z2 de nombres différents tels que n2=z1⋅z2. Cela en fait un nombre pair, il doit donc en rester un. Soit a ce nombre, comme il n'est pas 1, n2 ou n, il doit alors vérifier n2=a⋅a, ce qui est absurde car a≠n.
Il s'agit :