Third Isomorphism Theorem

Let and be Normal in and .
Then and , with:

Proof

Let with ,
which is a surjective Homomorphism.
Suppose .
Then .
Hence .
Also if then .
Hence hence done by the First Isomorphism Theorem.