"If g(a) > g(b) on some point x in the closed interval, then c is a point that is a local maximum and by definition the derivative at a local maximum/minimum is 0 concluding that g'(x)=0." . . . .