The Jordan–Hölder theorem is a more precise way of stating this fact about finite groups.
Jordanin–Hölderin lause on tarkempi tapa ilmaista tämä äärellisten ryhmien ominaisuus.