k projector subgroup of projector, 2 assertions