Quotient Group of Cyclic Group

Theorem
Let $G$ be a cyclic group which is generated by $g$.

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

Then $g H$ generates $G / H$.