If P (n) is the statement “n2 + n” is even”, and if P (r) is true, then P (r + 1) is true