Show that the equation x^2 = sin x + x cos x + 17 has at least two solutions. Use facts and theorems from the course to do this, and explain your solution. If you use a theorem, don't forget to check its hypotheses.