>>40
2*P+1は2で割り切れない
3*Q+1は3で割り切れない
以下帰納的に
(2*3*5*...*x)+1 はx以下の任意素数で割り切れない
ゆえに、これは素数