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.

$\blacksquare$