Дано, что $b$ и $c$ --- натуральные числа и что квадратное уравнение $x^2 - bx + c = 0$ имеет действительные корни $x_1$ и $x_2.$ Докажите, что a) $x_1^2 + x_2^2 + 2017;$ b) $x_1^3 + x_2^3$ --- натуральные числа.