:: deftheorem defines eulerian POLYFORM:def 30 :
for p being polyhedron holds
( p is eulerian iff Sum (alternating-semi-proper-f-vector p) = 1 );