怎么证明偏导数存在?