Verified answer

1)

Sí, todo par es de la forma 2n y, al multiplicarlo por cualquier k:

(2n)·k = 2(n·k) que es par

2)

No. Todo impar es de la forma 2n+1 y, al multiplicarlo por cualquier k,

(2n+1)·k = 2(nk) + k

Luego si k es par, (2n+1)·k no es impar.

Todo multiplo de par es par pero no todo multiplo de impar es impar (con la tabla del 1 se puede comprobar)