theorem Th32: :: NUMBER09:32

for i, j being Integer st i,j are_congruent_mod j holds
j divides i