>879
ところで >>875 には「(3) に整数比の無理数解がない」事の証明がないのですが、
その証明をお願いします。

877を見てください。