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

Mivel ''n'' nem négyzetmentes, van olyan ''p'' prímszám, hogy <math>p^2| n</math>.
 
Mivel ''n'' páratlan, azértezért ''p>2''. Vegyünk egy ''g'' [[primitív gyök]]öt modulo ''p''<sup>2</sup>. Legyen ''m'' a legnagyobb olyan osztója ''n''-nek, ami négyzetmentes, és nem osztható ''p''-vel. Tekintsük a következő kongruenciarendszert:
 
:<math> b \equiv g \pmod{p^2}</math>
Névtelen felhasználó