Dicho de otra manera, si "a" no es divisible por "p" entonces "p" divide a "a"-1: