群論についてなんですが、
「if G is finite, then the cancellation laws imply (G3)」((G3)は逆元の定義）
の証明をしたいのですがさっぱり分かりません。
お助けください。