theorem Th62: :: BORSUK_6:62

for s being set st [0,s] in IBB holds
s = 1