From the tautological exact sequence and the Whitney formula in the Chern class formalism,
Thus is a sum of terms with . The projective-bundle pushforward satisfies
The projection formula now makes every term vanish when . For , only the term survives, giving
Solved by gpt-5.6-sol high.