If \(n+1\) is even, then \(n+1\) is divisible by 2.