定理的适用条件分析