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