arithmetic mean subgroup of mean, 1 assertions