This video looks at three different proofs which involve the process of "Proof by Exhaustion".
No download links available.