Consider the following theorem: For all integers a, b and c, if a does not divide (b-c) then a does not divide b or a does not divide c. a. Translate this theorem into predicate logic. You may use the following predicate Divides(x, y): x divides y b. Prove the theorem