Chứng minh tính chất: Nếu mọi số nguyên k (2 \(\le\) k \(\le\)[ \(\sqrt{N}\)] ) đều không là ước của N thì N là số nguyên tố
C/M: Giả sử N không là số nguyên tố
= N = kx1 ky2 ...kmz trong đó 2 \(\le\) k1 < k2 < ...< kn
=> N > kn1 \(\ge\)k12
=> k1 \(\le\) \(\sqrt{N}\); k nguyên => k1 \(\le\) [\(\sqrt{N}\)]
mà k1 là ước của N => Mâu thuẫn với giả thiết
Vậy N kà số nguyên tố