theorem Th1: :: INT_2:1

for a, b, c being Integer st a divides b & a divides b + c holds
a divides c