Proof

If both y and z are inverses of x, then x * y = e = x * z. Now apply the cancellation law to conclude that y = z.