群（G;o）の任意の元aとbについて、（aob)^-1＝b^-1oa＾-1であることを証明せよ。

これでお願いします。