renamed quotient_list to quotients, started to recreate jordan hoelder proof