14 名前: 132人目の素数さん 投稿日: 2001/05/10(木) 19:41

仮に素数が有限個だと仮定して、一番大きい素数をPとする
ここで (2×3×5×・・・×P)+1=P’ という数を考えると
このP’はP以下のどの素数で割っても割り切れない
つまりP’はPより大きい素数で割り切れるか、P’自身が素数であるかのどちらかである。
すなわち仮定したような素数Pは存在しない