最大公因子定理

设 ab 是两个不全为 0 的整数，存在两个整数 uv 使得

$$(a,b)=ua+vb$$

证明：欧几里得除法