ここから冪等律と交換律も示すことができる
A=Bを主張したいときに重要になる定理かも知れない