infinite series subgroup of series, 1 assertions