Greatest Common Divisor of Integers/Examples/-5 and 5/Proof 2

Proof
From GCD of Integer and its Negative:
 * $\gcd \set {-5, 5} = 5$