Show that if $a$ and $b$ are both even integers that are not both 0 , then $(a, b)=$ $2(a / 2, b / 2)$.