bjr
a ; b ; c naturels
si a = b x c a est multiple de b ; b est diviseur de a
a est multiple de c ; c est diviseur de a
pour tout entier naturel n l'entier n + 1 est un diviseur de l'entier n² - 1
n² - 1 = (n - 1) x (n + 1)
égalité qui exprime que
n² - 1 est le produit de l'entier (n + 1) par l'entier (n - 1)
n² - 1 est un multiple de (n + 1)
(n + 1) est un diviseur de n² - 1
