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?