Finished lemma about normal subgroups of factor groups.