ФЕРМА́ МА́ЛАЯ ТЕОРЕ́МА

ФЕРМА́ МА́ЛАЯ ТЕОРЕ́МА, ут­вер­жде­ние о том, что ес­ли $p$ – про­стое чис­ло, и $a$ – це­лое чис­ло, не де­ля­щее­ся на $p$, то $a^{p-1}-1$ де­лит­ся на $p$ [то есть $a^{p-1}\equiv1$ (modp), см. Срав­не­ние]. Тео­ре­ма ус­та­нов­ле­на П. Фер­ма (1640).