3. Use the Intermediate Value Theorem to show that the equation x³-x=1 has at least one real root in the interval [1,2].​