理：假如formula_1是一个整数，formula_2是一个质数，那么formula_3是p的倍数，可以表示为如果"a"不是"p"的倍数，这个定理也可以写成这个书写方式更加常用。（符号的应用请参见同余。）
历史.皮埃尔·德·费马于1636年发现了这个定理。在一封1640年10月18日的信中他第一次使用了上面的书写方式。在他的信中费马还提出a是一个素数的要求。1736年，欧拉出版了一本名为“一些与素数有关的定理的证明”（拉丁文：Theorematum Quorundam