Group is Inverse Semigroup with Identity

Theorem
A group is an inverse semigroup with an identity.

Proof
Let $$\left({S, \circ}\right)$$ be a group. Then for all $$a \in S$$:

$$ $$ $$

and

$$ $$ $$

Thus the criteria of an inverse semigroup are fulfilled.