Element of Group is in its own Coset/Right

Theorem
Let $G$ be a group.

Let $H$ be a subgroup of $G$.

Let $x \in G$. Let:
 * $H x$ be the right coset of $x$ modulo $H$.

Then:
 * $x \in H x$

Proof
Let $e$ be the identity of $G$.

From Identity of Subgroup, we have $e \in H$.

From the behaviour of the identity, we have:
 * $x = e x$

That is:
 * $\exists h \in H: h x = x$

The result follows by definition of right coset.

Also see

 * Element of Group is in its own Left Coset