>>349
それでは

r^2=3 かつ　z = x + r のとき、
「x^3+y=z^3は自然数解を持たない。」
は正しいですか？