Det lille teoremet til Fermat kan bevises på flere måter. Mest direkte kan man benytte at - 1 av restklassene modulo til et tall danner en syklisk gruppe når er et primtall som ikke er en faktor i .