Derive from the theorem in question 61013 that \(\sqrt{17}\) is an irrational number.
Prove that if \(x_0^4 + a_1x_0^3 + a_2x_0^2 + a_3x_0 + a_4\) and \(4x_0^3 + 3a_1x_0^2 + 2a_2x_0 + a_3 = 0\) then \(x^4 + a_1x^3 + a_2x^2 + a_3x + a_4\) is divisible by \((x - x_0)^2\).