fixed star subgroup of star, 1 assertions