Example 3.2.2.

Prove: For all integers \(n\text{,}\) if \(n\) is even, then \(n^2\) is even.