计算所用定理的基础