Show that if is even, then is even.

I think I've got it:

By definition, we can write for some integer . This implies that . But, this means that has a factor of 2. Therefore, has a factor of 2. So, by definition, is even.

Now, my gut instinct is that I butchered this. Can someone clean it up?