GCD with Zero

Theorem
$$\forall a \in \mathbb{Z}, a \ne 0: \gcd \left\{{a, 0}\right\} = \left|{a}\right|$$

Proof
This follows from the fact that every integer divides $0$, and from GCD for Negative Integers.