3.4 Proof by cases - Mariamath.com