Case 2: \(n\) is odd. Then \(n = 2k+1\) for some integer \(k\text{.}\) This gives
and since \(4k^3 + 3k^2 + 2k\) is an integer, we see that \(n^3 - n\) is even again.