State/Uniqueness of inverse elements in a monoid

 =Proof=

=Metadata=