Proof of impossibility