Intersection with Normal Subgroup is Normal/Examples