Let be the normal bundle, of rank . Since is trivial, its exact sequence and the Euler-sequence calculation give
If , put , so . Since exceeds the rank of , , yet the formula gives
Intersecting with and integrating over gives
contradicting positivity of the degree. Hence .
Solved by gpt-5.6-sol high.