theorem :: POLYFORM:90

for p being polyhedron st p is simply-connected & dim p = 2 holds
num-vertices p = num-edges p