Proof. [030U]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

By [16], Exercise 23.2, we have

q_{M}(E,\sigma)\int_{M}\sigma^{2n}=2q_{M}(\sigma)\int_{M}\sigma^{2n-1}\wedge f^{*}\omega_{N}\not=0,

so $q_{M}(E,\sigma)\not=0$ . ∎