theorem Th29: :: NEWTON01:30

for p, q, z, u, v being Integer st p + q divides (p * u) + (q * v) holds
p + q divides (p * (u + z)) + (q * (v + z))