(a) [1 mark] Translate the following statement into predicate logic: For all non-zero integers a, b, and n, a divides b if and only if na divides nb. Do not use the predicate | in your final answer; instead, expand its definition in your statement. (b) [3 marks] Prove the statement from the previous part in the space below. Pay attention to the structure of your proof.