New Lemma: Union of a subgroup of a quotient group is a subgroup.
New Lemma: Quotient of union of subgroup of a quotient group is the subgroup itself. This is a bit of mindf***