arithmetic sequence subgroup of sequence, 1 assertions