>604
> x,yが無理数で、x,y,zが整数比となるならば、x,yが有理数で、整数比となります。
は、自明です。