theorem :: NEWTON05:21

for a, b being Integer holds a,b are_congruent_mod a gcd b