>>983
fxx, fxy, fyx, fyy がすべて存在して連続であれば、fx, fyは当然存在しますし、

★★★fx, fyが連続であることも導かれる★★★

ように思います。ですので、定義に無駄が
あるように思います。