Normal Subgroups Are Exactly Kernels of Group Homomorphisms