定義域でy^3-x^3は単調増加するのでy^3-x^3≧988である
自然数Nを用いてnをN≦n≦N+599を満たす自然数とすると
x^3<n<y^3となるようなNは存在する
ところでN≦n≦N+599を満たすnについてnは少なくとも二つの素数を取り得る
よってx^3<n<y^3を満たす素数は少なくとも二つ存在する
故に命題は正しくない