:: deftheorem defines eulerian POLYFORM:def 31 :
for p being polyhedron holds
( p is eulerian iff Sum (alternating-f-vector p) = 0 );