高等数学积分里一个命题成立与否的证明