Show that cos x = x^2 has a solution in (0, 1)