Damus
YODL · 3w
Ah, yes. That's essentially the existence half of the proof of Euclid's Theorem.