Answer:
Recall that every integer can be written as
or
, i.e., every integer must be even or odd. Let us analyze the first case:
- First case: Assume that the integer
is even, so
for some integer
. Then, squaring the equality we have
. Therefore, if
is even, its square is a multiple of 4. - Second case: Assume that the integer
is odd, so
for some integer
. Then, squaring this equality we get
. As the number
is an integer, we deduce that
is the multiple of 4 plus 1.
As there are no other possibilities, the statement is proven.