Un diviseur commun à et divise leur différence 1.

Donc

D'après la relation :

on déduit