„Fermat-prímteszt” változatai közötti eltérés

==Álprímek==
b<sub>i</sub>
Ha ''n'' összetett, és ''a''<sup>''n''-1</sup> ''kongruens 1 mod n'' valamely ''a''-ra, akkor ''n a'' alapú '''[[álprím]]''', másként '''pszeudoprím'''. Ilyen például a ''341'', ami álprím a ''2'' alapra.
 
Ha a kongruencia minden, az ''n''-hez relatív prím ''a''-ra fennáll, akkor ''n'' '''univerzális álprím''', más néven '''[[Carmichael-szám]]'''. A legkisebb ilyen szám az ''561''. Végtelen sok ilyen szám van, de viszonylag ritkán.
 
Legyen most ''n'' páratlan pozitív egész. Teljesül a következő