4. [A Fixed Point Theorem] Let f : X X be a continuous mapping of a real interval [a, b] into itself. Prove that f(x): = x for at least one x = [a, b].