因数分解によるフェルマーの最終定理の証明

>98
r=(√7-√3）のとき、整数比となる解x､y､zが存在します。たとえば(4(√7-√3）)^2+(3(√7-√3）)^2=(4(√7-√3）+(√7-√3）)^2

よって、「rが無理数のとき、yが有理数とすると、xが無理数となるけど、x､y､zが整数比となる解が存在するので

「yが有理数とすると」の意味がわかりません。