"a" - 1 es divisible por "p".