It seems the best answer is given in the article posted in a comment: Did Euclid Need the Euclidean Algorithm toProve Unique Factorization? ... <看更多>

Here I show Euclid's proof by contradiction that there must be an infinite number of primes. This is from The Elements, Book 9, proposition 20. ... <看更多>