n bilgisi:
$n$ bir çift tam sayı olduğundan, çift tam sayı tanımı gereği, öyle bir $k$ tam sayısı vardır ki $$n=2\cdot k$$ eşitliği sağlanır.
m bilgisi:
$m$ bir çift tam sayı olduğundan, çift tam sayı tanımı gereği, öyle bir $\ell$ tam sayısı vardır ki $$m=2\cdot \ell$$ eşitliği sağlanır.
n+m toplamı:
$n$ ve $m$ için verilen eşitlikleri kullanırsak \begin{align*}n+m \ &= \ 2\cdot k+ 2\cdot \ell\\[7pt]&= \ 2\cdot (k+\ell)\\[7pt]\end{align*} eşitliği sağlanır.
Sonuç:
$k$ ve $\ell$ tam sayılar olduğundan toplamları olan $k+\ell$ de bir tam sayı olur. Bu tam sayı için $$n+m\ = \ 2\cdot (k+\ell)$$ eşitliği sağlandığından, çift tam sayının tanımı gereği, $n+m$ bir çift tam sayı olur.