减函数性质F(0)=0的推导