>>663

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