>597
これは証明の一部なんですか？　それとも単なるおまけ？

x,y,zが無理数で、整数比となるならば、有理数で整数比となる。
ので、単なるおまけです。