 Jordan-Holder 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.

Uniqueness results for the composition series of a group.