Brouwer's fixed point theorem --> there is an x0 such that g(x0) = x0, which implies that g(x0) is f(x0).