Theorem: If a field extension is radical, then the Galois group of its normal closure is solvable.
Proof synopsis: Write the extension as a tower of simple radical extensions, show that each simple extension is abelian, and note that piecing together abelian groups gives a solvable group.
