Well, more precisely, there is a bijection between the normal subgroups of and the set ofclassesof homomorphic images of , where two homomorphic images of are in the same class iff they are isomorphic.

The bijection is given by

.

Try to show it and report back if you still have trouble.