Proof by Cases