Normal subgroups are kernels