theorem :: INT_2:22

for a, b, c being Integer st c divides a & c divides b holds
c divides a gcd b by Def2;