Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Notice a principal bundle is topologically determined by its first Chern class. It suffices to compare the first Chern classes of and over the sphere bundle for a small . As in the proof of Lemma 4.2 th Gysin sequence gives
for some bundle over . Now we restrict both and to the subset where and for a fixed . We can identify with by the projection map. Now we claim both restrictions have first Chern class equal to . For this follows from construction and for we notice that implies that and , so the projection map gives an isomorphism between the restriction of and the unit circle bundle in . This also explains the choice of the weight of the action in (4.42).
Now it follows from the claim that is indeed a trivial principal bundle, and this finishes the proof.
∎