>14
> これは、x:rは整数比となり、x:yは整数比とならないことを示しています。
r:yが整数比でないことが前提になっているから
「自然数解を持つならばx:yが整数比である」ことが示されないだろ

どういう意味でしょうか？よく、意味がわかりません。