关于高等数学微积分的一个证明题.