theorem :: POLYFORM:91

for p being polyhedron st p is simply-connected & dim p = 3 holds
((num-vertices p) - (num-edges p)) + (num-faces p) = 2