Jordan–Hölder theorem (source code)

= Jordan–Hölder theorem
{c}

Any two composition series of a <finite group> or finite-length <module> have the same length and the same simple factors up to permutation and <isomorphism>.