2520	 Greatest Common Divisor of n Integers and Multipliers Algorithm C proof of algorithms greatest common divisor Euclidean algorithm inductive assertion method
