A note on Euclid's Theorem · HackerTrans