f(x) は x = a を含むある開区間で定義されているとする。

f(x) は x = a で微分可能とする。

このとき、

f(x) は x = a を含むある開区間で微分可能であるか?