n+1が素数→終わり
n+1が素数でない→n+1=p*qとなる2≦p,q≦nが存在→仮定より