Considere a seguinte demonstração do teorema: "Se x ∈ N for par, então 2x+4 também será par".

Se x é par, então existe k ∈ N, tal que x=2k. Assim, 2x+4=2. (2k) + 4 = 4k+ 4 = 2 (2k +2) e, por isso, 2x + 4 é também um número par.

Assinale a alternativa que corresponde ao tipo de demonstração empregada.