text: Тогда E' имеет ранг на единицу меньше, чем ранг E. Из последовательности Гизина для расслоения π | B ′ : B ′ → B {\displaystyle \pi |_{B'}:B'\to B} : ⋯ → H k ⁡ ( B ; Z ) → π | B ′ ∗ H k ⁡ ( B ′ ; Z ) → ⋯ , {\displaystyle \cdots \to \operatorname {H} ^{k}(B;\mathbb {Z} ){\overset {\pi |_{B'}^{*}}{\to }}\operatorname {H} ^{k}(B';\mathbb {Z} )\to \cdots ,} мы видим, что π | B ′ ∗ {\displaystyle \pi |_{B'}^{*}} является изоморфизмом для k < 2n − 1.