Theorem - The inverse of the identity element is itself

theoremgroup-theory

Formal Statement

In any group $(G,\cdot )$, the inverse of the identity element $e$, $e^{-1}=e$.