brilliant cut subgroup of cut, 1 assertions