"$G$ is a solvable group if and only if $G$ has a Sylow system"
(Sylow system: a set $S$ of Sylow subgroups of $G$, one for each prime dividing $|G|$, so that if $P$, $Q$ $\in{S}$, then $PQ=QP$).