theorem Th71: :: BORSUK_6:71

for x being Point of I[01] st x < 1 / 2 holds
( not [x,0] in IBB & not [x,0] in ICC )