Exercise #1. (4 pts) Fill in the blank in the statements below: (1) A theorem is (2) A corollary is (3) We start a direct proof for p + q by assuming: (4) We start an indirect proof for p + q by assuming: (5) We start a proof by contradiction for p + q by assuming: Exercise #2. Let m be an odd integer and n be an even integer. Prove that 3n+m is odd