Qual técnica prova que existem infinitos primos?

Demonstração de Euclides: supõe-se que há finitos primos $p_{1}\ldots p_{n}$; então $p_{1} \times \ldots \times p_{n} + 1$ tem um novo fator primo — contradição.