Hall subgroup of normal subgroup