展开 离散数学拉格朗日定理证明