なぜこれが同値？例えば、a=1,b=-1のとき成り立たないんじゃ？