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.)