Наибольший общий делитель.
$gcd(a, b) = d \iff (d\space|\space a) \space\land\space (d\space|\space b) \space\land\space (d - max)$
Euclid algorithm
Extended Euclid algorithm