added lemma about extending composition series.