Finished lemma about subgroups of factor groups.