Direct Product of Solvable Groups is Solvable

Theorem
Let $G$ and $H$ be groups which are solvable.

Then their (external) direct product $G \times H$ is also solvable.

Proof
$G \times \set {e_H}$ is a normal subgroup of $G \times H$.

Also, $G \times H / G \times \set{e_H}$ is isomorphic to $H$.

The result then follows from Group is Solvable iff Normal Subgroup and Quotient are Solvable.