Proof Writing · Easy problem

$a = bk$ for some integer $k$

$b - a$ is positive

$a + b$ is even

$b = ak$ for some integer $k$