Proof by cases