最短フェルマーの最終定理の証明

>208
> よって、(y-1)=k4のとき、(y^3+y^2+y+1)=(x^3+(3/2)x^2+x)/kとならない。
となるのかわかりません。教えてください。

※AB=CDが成り立つならば、A=kCのとき、B=D/kとなる。(A,B,C,Dは式)
からです。
AB=CDが成り立たないならば、A=kCのとき、B=D/kとならない。