Category:Intersection with Normal Subgroup is Normal