Order of Element in Quotient Group

Theorem
Let $$H \triangleleft G$$.

Let $$G / H$$ be the quotient group of $$G$$ by $$H$$.

The order of $$a H \in G / H$$ divides the order of $$a \in G$$.