Proof by Exhaustion