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\).
Let \(n\) numbers are given together with their product \(p\). The difference between \(p\) and each of these numbers is an odd number.
Prove that all \(n\) numbers are irrational.