>>795
上から順に

lim[h→0]f(h)-f(0)/hが有限な値に収束するときf(x)は微分可能である

lim[h→0]f'(h)が有限な値に収束するときf'(0)は存在する

こうだと思います