theorem Th67: :: BORSUK_6:67

[(1 / 2),0] in IBB