negative image subgroup of image, 2 assertions