State/Uniqueness of identity element in a monoid

 =Proof=

=Metadata=