Евклиду удается получить строгое доказательство, не имея никакого отношения к бесконечности, путем уменьшения проблемы [бесконечности простых чисел] до изучения конечных чисел. Это именно то, что делает современный математический анализ.