するとpn+1は全ての素数p1〜pnで割り切れないから
pn+1も素数になり、仮定に矛盾。QED