定理 開区間 上の微分可能関数 が， をみたすならば， 任意の に対し， 証明 任意の 0,\; x\in U"> に対し，0"> が存在して， とおくと， はコンパクトなので， が存在して， ここで， としてよい．このとき， をとると， よって より， 0"> は任意なので，//

微分．