theorem :: POLYFORM:89

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