補題1
素数は∞にある。
なぜなら、素数が有限個しかないと仮定する。
その全ての素数を掛け合わせる、それに1を加えたものは
どの数でも割り切れない。
よって素数は∞にある。