 Since "a" and "b" are both divisible by "g", every number in the set is divisible by "g".In other words, every number of the set is an integer multiple of "g".This is true for every common divisor of "a" and "b".