Praktično se koristi mala Fermaova teorema po kojoj je

deljivo sa

za svaki prost broj

i prirodan broj

koji nije deljiv sa

.
Dakle, izaberimo nasumično broj

sa željenim brojem binarnih cifara, izaberimo neki prirodan broj

veći od jedinice, ali manji od

, što znači da ne može biti deljiv sa

.
Zatim se izračuna

po modulu

. Ako se ne dobije nula, onda broj

ne može biti prost. Ako se pak dobije nula, onda je prost sa verovatnoćom koja nije manja od 0.75. Ako isti postupak primenimo na n međusobno različitih prostih brojeva

i uvek dobijemo nulu, onda je broj

prost sa verovatnoćom koja nijae manja od

i tako se prihvata da je broj

prost. Za stepenovanje se koristi sledeći algoritam stepenovanja.
Kako se računa na primer

?

,

,

,

.
Dakle,

i

.
Svaki put se izračuna ostatak pri delenju sa

, dok se množenje vrši preko FFT da bi bilo brže.
Kada se neki broj prihvati kao prost, onda je to do na verovatnoću.
Inače je izuzetno teško naći veliki broj koji je sigurno prost.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.