If 3 does not divide n, then 3 divides n^{2}−1. (n is an integer) How to prove using “proof by cases”?