# Common divisor divides GCD

## Dependencies:

Common divisor of a set of numbers divides their GCD.

## Proof

GCD of a set of numbers is a linear combination of those numbers, so a common divisor would divide it.

## Dependency for:

## Info:

- Depth: 2
- Number of transitive dependencies: 2