Большая Советская энциклопедия - ферма малая теорема

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

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978