Added lemma about the monotony of composition series entries.