怎样证明一个函数可微