Теорема. Наименьший отличный от единицы делитель составного числа a не превосходит

Наименьший отличный от единицы делитель составного числа a не превосходит .

Доказательство.

Пусть q этот делитель. Тогда

, (1)

. (2)

Умножаем (1) на (2) , , , что и требовалось доказать.

Теорема.

Простых чисел бесконечно много.