23.1. Tétel
Prímszámok szükséges és elégséges feltétele
Legyen egy tetszőleges nemnulla egész szám, amely nem egység, és jelölje az egész szám abszolút értékét. Ebben az esetben akkor és csak akkor prím, ha nem létezik -nél nagyobb, de -nél kisebb osztója.
Ezzel ekvivalens megfogalmazás: Az akkor és csak akkor összetett, ha létezik -nél nagyobb, de -nél kisebb osztója.
♣