>>401
任意の正の整数Nに対して(N,2N]の区間に必ず素数が存在する、という定理もある。
つまり素数の距離は決して無限にはならない