Proof · explainer
A classic proof by contradiction: assume the opposite of what you want to prove, then show it leads to something impossible.
The proof, one step at a time
Proof structure