Si "a" es un entero no divisible entre p: