let a and b be even integers.
Show a+b is even.
a = 2i, b = 2j where i and j are integers (Def of even)
a+b = 2i+2j (Def of addition)
= 2(i+j) (Distributive property)
which is even (Def of even)
(n*3+6)/3-n = 3(n+2)/3 - n
= n+2-n
= 2