theorem Th22: :: HILB10_8:22

for a, b, A, B being Integer st a,b are_coprime holds
( ( a divides A & b divides B ) iff a * b divides (a * B) + (b * A) )