3) Les entiers naturels et vérifient l'égalité : . Que dire du de et ?
C'est un diviseur de
L'égalité équivaut à : soit : ou encore .
Si alors divise .
L'égalité est vérifiée pour et mais aussi pour et , et dans ce cas, .