9-7-3　微分性质推导