If $N$ is a normal subgroup of $G$ with $N$ and $G/N$ solvable, prove that $G$ is solvable

If $~1=U_0\le U_1\le \cdots \le U_n=G/N~$ and $~1=V_0\le V_1\le \cdots \le V_m=N$ are subnormal series with abelian factor groups, then consider the series induced by "superimposing" the former over latter:

$$1=V_0\le V_1\le \cdots\le V_m=N=U_0'\le U_1'\le \cdots \le U_n'=G$$

where $U_i'$ are the unique subgroups of $G$ such that $U_i'/N=U_i$ (given by the lattice theorem).


This is a good to know that:

Theorem: $G$ is a group and $N\unlhd G$ then, $\forall n\in \mathbb N, \big(\frac{G}{N}\big)^{(n)}=\frac{G^{(n)}N}{N}$

wherein $G^{(1)}=G'$ and $G^{(i)}=\big(G^{(i-1)}\big)', i\geq 2$. Definition tells there are non-negative integer $n,m$ such that $N^{(n)}=\{e\}$ and $\big(\frac{G}{N}\big)^{(m)}=\{N\}$ because $N$ and $\frac{G}{N}$ both are soluble. Using the above theorem, we have $$\{N\}=\bigg(\frac{G}{N}\bigg)^{(m)}=\frac{G^{(m)}N}{N}\Longrightarrow G^{(m)}\leq N $$ $$G^{(m)}\leq N \Longrightarrow \big(G^{(m)}\big)^{(n)}\leq N^{(n)}=\{1\}\Longrightarrow G^{(m+n)}\leq N^{(n)}=\{1\} $$ or $G$ is soluble gorup.