theorem Th33: :: NUMBER09:33

for n being Nat
for i being Integer holds i * n,n are_congruent_mod n