>それは >>222 でこちらが提示済である通り、
AB=CD が成立しているときに A=A, B=B であって A=C, B=D を導けていません。

どうしてでしょうか?