s[›] The Jordan–Hölder theorem exhibits finite simple groups as the building blocks for all finite groups.