Euler characteristic
The Euler characteristic formula_13 for convex 4-polytopes is zero: