设只有a1、a2、……an,n个素数,
那么Q=a1*a2*……*an+1,
不能被 a1、a2、……、an整除,
又是一个新的素数.与假设矛盾,
∴素数的无穷多个.