ある素数とその次の素数の差が有界であること