theorem Th80: :: POLYFORM:82

for p being polyhedron st dim p is odd holds
Sum (alternating-f-vector p) = (Sum (alternating-proper-f-vector p)) - 2