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