1 もし素数は無限には無いとする そうすると「最後の素数」と言う数が出る
               (それを」Xとおく)
2 すべての素数の積(2x3x5x7x11x....xX)に1を足す(これをYとおく)

3 Yはすべての素数(2,3,5,7,9,...X)で割っても1あまる=Yは素数
 しかもYは最大の素数としたXより大きい

結論 素数は無限にある