Proof by Contradiction
Proof by contradiction often involves clever application of proven knowledge to arrive at a contradiction. In the example proof of \(\sqrt{2} \)'s irrationality, what is the key underlying assumption? (We will prove this later in the course!)
One effective way to prove B appeals to C, and either one is fair to consider as our big unproved assumption.