counterproductive proof