GCD with Zero

Theorem

 * $$\forall a \in \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.