Dadas as proposições:

I. se k é um número par, então k² é um número par.

II. se k é um número ímpar, então k² é ímpar.

III. se k ∈ Z e k² é par, então k é par.

IV. se k ∈ Z e k² é ímpar, então k é ímpar.

Podemos afirmar que: