Евклидийн теорем. Төгсгөлгүй олон анхны тоо оршин байна.

Баталгаа. Эсрэгээр нь анхны тоонуудын тоог төгсгөлөг гэж үзье. Тэгвэл бүх анхны тоонуудыг хооронд нь үржүүлээд нэгийг нэмэхэд гарах тоо нь ямар ч анхны тоонд хуваагдахгүй.