theorem Th19: :: NUMBER14:19

for i, j, k being Integer st i > 0 & j,k are_congruent_mod i holds
( i divides j iff i divides k )