Lemma: Factoring by a normal subgroups yields trivial subgroup iff ...
Finished characterization of maximal normal subgroups up to one major gap.