黎曼球面
We must show that this cohomology class is non-zero. It suffices to compute its integral over the Riemann sphere: