双子どころか任意のnに対してNが存在して、mNから(m+1)Nまでの区間にn個以上の素数が存在するようなmが無限個存在するわけか。
これは凄い定理だ。