Let p: n2 is an even integer, then n is also an even integer.
q: n is even integer.
∴ ~ p : n2 is not an even integer.
∴ ~ q : n is not an even integer.
Since contrapositive of p→q is given by ~ q → ~ p
Hence contrapositive of given statement is :
If n is not an even integer, then n2 is not an even integer.
Here if ~ q is true then ~ p is also true.
∴ If n2 is an even integer, then 'n' is also an even integer.
Hence proved.