>667
「(a) (3)のyが無理数のとき、x,y,zが整数比となるならば、(3)でyが有理数のときに＜＜＜整数比となる。＞＞＞」
(a)は言えないんじゃないかな。
【証明】>>654 で、
> (3)はyが有理数のとき、... x,y,zは＜＜＜整数比とならない。＞＞＞
って自分で書いてるよ。

yが無理数のとき、「x,y,zが整数比となるならば、」と書いています。