Euler characteristic
層 formula_13 のオイラー標数 formula_14 は、