Considere a seguinte demonstração do teorema: "Se x element of straight natural numbers for par, então 2 x plus 4 também será par".

Demonstração:
Se x é par, então existe k element of straight natural numbers, tal que x equals 2 k. Assim, 2 x plus 4 equals 2. left parenthesis 2 k right parenthesis plus 4 equals 4 k plus 4 equals 2 left parenthesis 2 k plus 2 right parenthesis e, por isso, 2 x plus 4 é também um número par.

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

Demonstração pelo Princípio da Indução Finita.
b.

Demonstração direta.
c.

Demonstração por absurdo.
d.

Demonstração por exaustão.
e.

Demonstração por contraposição.