>127
>日高の新公理
AB=CDかつA≠CならばA=D

違います。
AB=CDならば、A=Cのとき、B=Dとなる。
です。