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を部分束として持つの…