greatest common divisor theorem

Input interpretation

greatest common divisor theorem