>>927
否定文の作り方がおかしい。924の否定は

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
あるk≧2について、
次の条件を満たすxが存在しないような、
k(≧2)個の連続する自然数の集合Sが存在する。
条件：xはSの他の要素すべてと互いに素である。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

だぞ。