How else do you prove something using the halting problem other than a proof of contradiction?