Even and Odd Integers/Proofs