Homomorphic Image of ideal in Lie algebras

I try to prove the following theorem which given without proof here On Prime Ideals of Lie Algebras

Theorem: Let $L$ and $L^{prime}$ be Lie algebras and let $f: L rightarrow L^{prime}$ be a surjective homomorphism. Then an ideal $P$ of $L$ containing $mathrm{Ker} f$ is prime if and only if $f(P)$ is prime in $L^{prime}$.

My Proof: Let $P$ be a prime ideal of $L$, let $H$ and $K$ are two ideals of $L^{prime}$. Suppose that $[H,K] subseteq f(P)$, then $f^{-1}([H,K]) subseteq f^{-1}f(P)$, hence $Big [f^{-1}(H),f^{-1}(K)Big] subseteq P$.
But $P$ is prime, then $f^{-1}(H) subseteq P$ or $f^{-1}(K) subseteq P$. Since $f$ is surjective homomorphism, thus
$H subseteq f(P) textit{ or } K subseteq f(P)$. Therefore $f(P)$ is prime.

Is this proof true?

Is this step $f^{-1}([H,K])= Big [f^{-1}(H),f^{-1}(K)Big]$ true?

Is this step $f^{-1}f(P)=P$ true?

Is this theorem is a trivial conclusion of Isomorphism Theorems of Lie algebra and we do not need this proof?