>664
>>>615で(左辺の右側)=(右辺の右側)とはならない場合がある、と示しました
なので(左辺の右側)=(右辺の右側)は証明では使えません。

x^2*1=(z+y)(z-y)
右辺の右側は、式なので、1=(z-y)となります。