"Existe uma quantidade infinita de números primos."
Prova por absurdo:
Suponhamos que os números primos sejam finitos. Então existe um número hipotético X cuja decomposição em factores primos é a multiplicação de todos os primos existentes (P' * P" * P"' * ...). Sendo assim o número seguinte X+1 não possui na sua factorização nenhum dos primos citados na decomposição em factores do seu antecessor X. Logo X+1 é outro primo ou múltiplo de um primo que não está na lista de primos.