Respuesta :

The contrapositive of above is "If n is not odd then n^2 is not odd" or "If n is even then n^2 is even".

So, let assume that n is even
[tex]n=2k, k\in \mathbb{Z}\\\\ [/tex]
then
[tex]n^2=(2k)^2=4k^2[/tex]
which is even q.e.d.