theorem Th65: :: BORSUK_6:65

for x being Point of I[01] holds [x,1] in IBB