連続条件までつけたら、方向微分可能なら全微分可能じゃね？　方向微分の
式と連続条件の式から全微分式を導けそうな気がする。