Kernel Is a Normal Subgroup