5) Si et vérifient l'égalité alors :
est multiple de
divise
équivaut à : soit .
divise , et et sont premiers entre eux, donc d'après le théorème de Gauss, divise .
