Identity of Subgroup

Theorem
Every subgroup $$H$$ of a group $$G$$ contains the identity of $$G$$, which is also the identity of $$H$$.

Proof
This extends the result for monoids each of whose elements are cancellable: Cancellable Monoid Identity of Submonoid.