>333
つまり(4)は比がs:t:u=s:t:s+r(有理数)であるような解を持たない
に変えられないのだから証明は間違っているだろ

よく、意味がわかりません。