Example 3.2.4.

Is the statement “for all integers \(n\text{,}\) if \(n^2\) is even, then \(n\) is even” true?