>742
「(3) に整数比の無理数解があれば、 (3) に有理数解がある」
と言っているのでしょうか？

はい。