Kernel Is Normal Subgroup