23.2. Tétel
Osztók és a négyzetgyök
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. Jelöljük továbbá -rel a lehető legnagyobb olyan egész számot, amelyre teljesül. Ebben az esetben az egész szám akkor és csak akkor prím, ha nem létezik olyan osztója, amely -nél nagyobb, de legfeljebb .
Ezzel ekvivalens megfogalmazás: Az akkor és csak akkor összetett, ha létezik olyan osztója, amely -nél nagyobb, de legfeljebb .
♣