df(x_0)(0)=0