定理 理论 基础cap