theorem of normal subgroup