b. El enunciado es verdadero. Demostración: Supongamos que n es cualquier entero múltiplo de 3. [Debemos demostrar que ฀n es un múltiplo de 3.] ...

b. El enunciado es verdadero. Demostración: Supongamos que
n es cualquier entero múltiplo de 3. [Debemos demostrar que
฀n es un múltiplo de 3.] Por definición de múltiplo, n 3k
para algún entero k. Entonces

฀n ฀(3k) por sustitución

3(฀k) por álgebra.

Así que, por definición de múltiplo, ฀n es un múltiplo de 3 [que
era lo que se quería demostrar].