23.2. Tétel

Osztók és a négyzetgyök

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. Jelöljük továbbá rr-rel a lehető legnagyobb olyan egész számot, amelyre r2nr^2\leq |n| teljesül. Ebben az esetben az nn egész szám akkor és csak akkor prím, ha nem létezik olyan osztója, amely 11-nél nagyobb, de legfeljebb rr.

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