いずれも2nより大きくないn+1個の整数列{ak}のなかに、互いに素である2数がある。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

1＜a1＜a2＜・・・＜an+1＜＝2nとする。

n個の対 {1,2},{3,4},・・・,{2n-1,2n}のうちのひとつは２数を含むから、連続する２数があり、これらは互いに素である。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝