Which technique proves there are infinitely many primes?

Euclid's proof: assume finitely many primes $p_{1}\ldots p_{n}$, then $p_{1} \times \ldots \times p_{n} + 1$ has a new prime factor — contradiction.