The following theorem has the form of an implication.

If n is an integer and 3n+2 is even, then n is even.

a) Prove this theorem by contradiction.

b) Give a direct proof of this theorem.

(Hint: it may be useful to get an equation for n in which

the term to which n is equal also includes n itself.)