These are raw notes for an eventual wiki page. Please return later.
Proof by contradiction
Partitioning unity
Disappearance of proof from high school curriculum (and problems with integrating topics)