「関数Ｆ（ｘ）がｘ＝aにおいて微分可能」
必要十分条件教えてください、お願いします。