Prove or disprove each of the following propositions:

(a) for all integers a, b, c, if a | b, then a | bc.

(b) for all integers a, b, c, if a | (b + c), then a | b or a | c.