maximum weight subgroup of weight, 3 assertions