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.