theorem Th31: :: NEWTON01:32

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