，formula_1可以分解成一系列CW复形的逼近，使得每一个复形都是它前面一个复形和一个Eilenberg-McLane空间()的纤维丛乘积。具体地说，我们有如下定理：定理: 任给一个连通的CW复形formula_1，记其formula_4阶同伦群为formula_5。对于每一个自然数formula_6，存在一组的纤维丛formula_7，其纤维(fiber)为formula_8，和CW映射formula_9，使得在上面的定理中，formula_8为Eilenber-McLance空间，即fo