q[›] An intermediate step is the classification of finite simple groups