Pequeno Teorema de Fermat-PTF

Teorema: Se p é um primo e a é um inteiro, então p|a^p-a(p divide a elevado a p menos a). Quero dizer que é muito comum enunciado na seguinte forma: se p é um primo e a é um inteiro não divisível por p, então p| a^(p-1)-1. O fato de que essas duas asserções são equivalentes.