Properties of Divisibility

For all integers a, b, and c

If a|b and a|c, then a|(b+c). (proof)

If a|b and a|c, then a|(b-c). (proof)

If a|b and b|c, then a|c. (proof)