Giả sử có hữu hạn số nguyên tố là a1,a2,a3,...,an trong đó an là số nguyên tố lớn nhất trong tất cả các số nguyên tố.
Xét số A= a1.a2.a3....an chia hết cho mỗi số nguyên tố ap (với 1<=p<=n) 
=> số A+1 chia cho mỗi số ap đều dư 1.(1) 
Lại có A+1 > an => A+1 là hợp số =>A+1 chia hết cho 1 trong các số nguyên tố ap,mâu thuẫn với (1). 
=> điều giả sử là sai=> có vô số số nguyên tố