theorem Th64: :: BORSUK_6:64

[0,1] in IBB