https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf
splitting principleの証明。
K(P(E))が1, L, \cdots, L^{n-1}を基底とする自由K(X)加群であるから、
p^*:K(X) \to K(P(E))は単射である。(x \mapsto x1となる)
p^*E \to P(E)はLを部分束として持つので、L \oplus E'と分解する。
P(E')についても同様の構成を行うことで、flag bundle F(E) \to Xを得る。
K(X) \to K(F(E))は単射であり、EのF(E)への引き戻しは直線束の和である。