Case 1: \(n\) is even. Then \(n = 2k\) for some integer \(k\text{.}\) This give
and since \(4k^2 - k\) is an integer, this says that \(n^3-n\) is even.