Prove that if the irreducible rational fraction \(p/q\) is a root of the polynomial \(P (x)\) with integer coefficients, then \(P (x) = (qx - p) Q (x)\), where the polynomial \(Q (x)\) also has integer coefficients.
Prove that if \((p, q) = 1\) and \(p/q\) is a rational root of the polynomial \(P (x) = a_nx^n + \dots + a_1x + a_0\) with integer coefficients, then
a) \(a_0\) is divisible by \(p\);
b) \(a_n\) is divisible by \(q\).