It looks like your proof is going to 2 cases, the 1st case being if n is even so n=2k for some integer k, and the second case will be for if n is odd so n=2m+1 for some integer m. This covers the set all of integers because an integer is either odd or even. hope this helps =).