ベッチ数
Next, the exponential sequence formula_12 gives an exact sequence of cohomology groups formula_13, and so formula_14. Thus the Betti number formula_15 is zero, and by Poincaré duality, formula_16 is also zero. Finally, formula_11 is equal to the topological Euler characteristic