9-1-2　指数微分的验证