a,bを群Gの元とするとき、(a^(-1))^(-1)=aと(ab)^(-1)=b^(-1)a^(-1)を証明せよ。これってどうやればいいですか〜？