cauchy sequence subgroup of sequence, 1 assertions