在Nicholson书中的证明有一些理解上的偏差，主要是在于对数学求导符号以及函数记法的问题