Greatest common divisor

::=