définition : on dit qu'un nombre A est diviseur d'un nombre B si l'on peut trouver un nombre entier n tel que A x n = B
hypothèse : a est diviseur de b
il existe donc un entier k tel que b = k x a
si b = k x a alors b² = (k x a)²
b² = k² x a²
il existe un entier k² tel que le produit par a² soit égal à b²
conclusion a² est un diviseur de b²
