positive integer subgroup of integer, 8 assertions