theorem Th67: :: BORSUK_6:67
[(1 / 2),0] in IBB