Sum of Even Integers is Even

Theorem
The sum of any finite number of even integers is itself even.