Direct Proof: Prove that if 5x - 7 is odd, then 9x + 2 is even