Claim:Gcd(a,b) is a common divisor of a and b

From CS2800 wiki
For all [math]a, b ∈ ℕ [/math], [math]\href{/cs2800/wiki/index.php/Gcd}{gcd}(a,b) \href{/cs2800/wiki/index.php/%E2%9D%98}{❘} a [/math] and [math]\href{/cs2800/wiki/index.php/Gcd}{gcd}(a,b) \href{/cs2800/wiki/index.php/%E2%9D%98}{❘} b [/math]