You CAN prove a negative by Contradiction. That's how Turing famous Halting Theorem works.
Not a member of The Register? Create a new account here.
Remember me on this computer? Post anonymously?