induction now done right, lemmas for composition series added.