Properties of Divisibility (Subtraction)

For all integers a, b, and c, if a|b and a|c, then a|(b-c).

Explanation

There are integers n and m such that

b = an

c = am

b - c = an - am

b - c = a(n-m)

a|(b - c)

Links

Properties of Divisibility