Condition for Power of Element of Quotient Group to be Identity

Theorem
Let $G$ be a group whose identity is $e$.

Let $N$ be a normal subgroup of $G$.

Let $a \in G$.

Then:
 * $\paren {a N}^n$ is the identity of the quotient group $G / N$


 * $a^n \in N$
 * $a^n \in N$

Proof
Let $\paren {a N}^n$ be the identity of $G / N$.

Then: