in darboux's theorem proof there is no use of continuity of the derivative as there is no in fermat's theorem only existence is being used existence local maximum or minimum zero derivative