23.1. Tétel

Prímszámok szükséges és elégséges feltétele

Legyen n0n\neq 0 egy tetszőleges nemnulla egész szám, amely nem egység, és jelölje n|n| az nn egész szám abszolút értékét. Ebben az esetben nn akkor és csak akkor prím, ha nem létezik 11-nél nagyobb, de n|n|-nél kisebb osztója.

Ezzel ekvivalens megfogalmazás: Az nn akkor és csak akkor összetett, ha létezik 11-nél nagyobb, de n|n|-nél kisebb osztója.