if a divides b, then a divides bc

[math_celebrity]

if a divides b, then a divides bc

Suppose a divides b. Then there exists an integer q such that b = aq, so that bc = a(qc) and a divides bc.

Suppose that a divides c. Then there exists an integer k such that c = ak, so that bc = a(kb) and a divides bc.