Proof by cases
1 / 9