Jordan–Hölder theorem

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.