:: deftheorem defines eulerian POLYFORM:def 29 :
for p being polyhedron holds
( p is eulerian iff Sum (alternating-proper-f-vector p) = 1 + ((- 1) |^ ((dim p) + 1)) );