Thread: Proof of Biconditional Involving Even and Odd Integers.

Could anyone verify or critique this proof? Throughout the proof, I am using the fact that an even integer can be written in the form of x=2m where m is an integer, and an odd integer has the form y=2n+1 where n is an integer.

I did not look into much details but it looks right.
What main result are your trying to prove?


---
The only complaint I have is that you leave TOO much room. You just look at how I wrote my homework! If I can find a scanner I will show you.