Composition series and the Jordan-Hölder theorem | Zoonk