proof of impossibility

result demonstrating that a particular problem cannot be solved as described in the claim, or that a particular set of problems cannot be solved in general