Prove that if n is an integer and 3n+2 is even, then n is even using contradiction.
I end up with 2f+1, where f is 3k+1, closed under multiplication and addition. Making it odd, which is not contradicting the assumption that n is odd.
Where did I go wrong?