Let n is a positive integer. Prove that n is even if and only if 3n2+1 is odd. (Hint: you must prove bi-implication, it means pq(pq)(qp).)