$x-\frac{1}{2}y+1=0$  

Podstawiamy x=n, y=m i wyznaczamy m z równania.

$n-\frac{1}{2}m+1=0$  

$-\frac{1}{2}m=-n-1\mid \cdot \left(-2\right)$  

$m=2\left(n+1\right)$  

Dla n ∈ N liczba 2(n+1) jest parzysta jako iloczyn liczby naturalnej n+1 i liczby 2.

Zatem liczba m jest parzysta dla n ∈ N, co należało dowieść.