M201: First graded homework

For each question, state the proposition and write a formal proof.
  1. (5 points.) If  x  is an integer, and  x2 + 3  is even, then  x  is odd.
  2. (5 points.) If  x  is an integer, then  x2 + 3x  is even.