GCD with Zero

Theorem

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

where $\gcd$ denotes greatest common divisor (GCD).

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