This theorem describes the [greatest common divisor](/page/Greatest%20Common%20Divisor) of a finite list of integers as the positive generator of the ideal they generate. It packages common-divisor information for several integers into one algebraic statement.