Deux raisonnements par contraposée

Deux raisonnements par contraposée. Soit $n$ un entier naturel.

• Énoncer la contraposée de : « si $n^2$ est pair, alors $n$ est pair ». La démontrer, et conclure.
• Même travail avec : « si $n^2-1$ n'est pas divisible par $8$, alors $n$ est pair ». On pourra écrire $n=2k+1$ et remarquer que $k^2+k=k(k+1)$ est toujours pair.