将CoT泛化建模为组合式OOD泛化，证明其通过复用ID单步预测器递归组合实现跨任务推理，给出理论解释。