theorem Th86: :: NUMBER19:86

for n, k, p being Integer st p divides k holds
( n in multiples p iff n + k in multiples p )