An integer n is said to be even iff n is a multiple of 2 (i.e., there exists an integer k such that n is equal to 2k).

Prove that x is even iff x² is even.