Impossibility proof

Summary