improper subgroup is normal