theorem Th68: :: BORSUK_6:68

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