In Exercises 1–4, a statement S_n about the positive integers is given. Write statements S1, S2 and S3 and show that each of these statements is true. Sn: 3 is a factor of n^3 - n.