欧拉示性数
The Euler characteristic formula_13 for convex 4-polytopes is zero: