Now and has rank . Write , so the pushforward of the fundamental class is
The self-intersection formula and the calculation of give
On the other hand, pulling back makes the left side . Integrating over gives
Since , cancellation yields
Solved by gpt-5.6-sol high.