 This is equivalent because a finite group has finite composition length, and every simple abelian group is cyclic of prime order.The Jordan–Hölder theorem guarantees that if one composition series has this property, then all composition series will have this property as well.For the Galois group of a polynomial, these cyclic groups correspond to "n"th roots (radicals) over some field.