– eger $p$ - ápiwayı san hám $a$ sanı $p$ ǵa bólinbeytuǵın san bolsa, onda $a^{p-1}-1$ sanı usı $p$ ǵa bólinedi, yaǵnıy ${{a}^{p-1}}\equiv 1\,(\bmod \,p)$. Bul teorema P. Ferma tárepinen (1640) ashılǵan hám L. Eyler onı ıqtıyarlı modul $p$ ushın ulıwmalastırǵan. Bul teorema Fermanıń úlken teoreması dep atalatuǵın teoremasınan parıq qılıw ushın kishi teorema dep atalǵan.