Third, give the proof. It would make for an interesting experiment to see what finally appears in print.

Probably something like this: "The proof is based on the method of self-contradiction, in which an assertion is assumed to be both true and false at the same time." :-( Jim Propp