In Exercises 5–10, a statement Sn about the positive integers is given. Write statements S_k and S_(k+1) simplifying statement S_(k+1) completely. Sn: 2 is a factor of n^2 - n + 2.