牛顿发明微积分，但微分定理证明需要用无限小，逻辑不通，证明困难

后来数学家引进无限小的概念，微分定理证明就很容易了。