Ферма малая теорема

Ферма малая теорема, одна из основных теорем теории чисел, состоящая в том, что если р = простое число и а = целое число, не делящееся на р, то a^p-1 = 1 делится на р, т. е. a^p-1º1(modp). Теорему высказал без доказательства П. Ферма, первое доказательство дал Л. Эйлер.