State/Cancellation in groups

 =Proof=

Similarly, if $xg = yg$, then $x = y$, by the same argument.

=Metadata=