Para demostrar este lema, si se supone que "p" no divide a "a", entonces "p" y "a" son primos entre sí y por la identidad de Bézout existen "x" e "y" enteros tales que "px" + "ay" = 1.