Added Lemma: No two consecutive entries in a composition series are equal.
Next step of the big proof: Show that intersection of snd to last entries is trivial.