Lemma about the second to last entry of a composition series.
Intersection is a certain normal subgrp.