If the Bezout identity for two integers $a$ and $b$ is expressed as $ax + by = d$, which of the following statements must be true about $d$?