Proving that If $\overline K \trianglelefteq \overline G$ , then $\phi^{-1}(\overline K)=\{k\in G: \phi(k)\in\overline K\}\trianglelefteq G$.
The preimage of a normal subgroup under a group homomorphism is normal