https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf
B' \subset Bに対しE' = E \vert_{B'}とする。
\Phi: K^*(B) \otimes K^*(F) \to K^*(E)を\Phi(b \otimes i^*c) = (p^*b)cで定める。
ここでi^*:K(E) \to K(F)は制限でこれは全射?
この\Phiが(K(B,B') \to K(B) \to K(B')) \otimes K(F)とK(E,E') \to K(E) \to K(E')の間の射を与えるが、これが同型であることを証明する。
そのために、次元とcellの数に関する帰納法を用いる。