Proof by Contrapositive: If 5x - 7 is odd