theorem Th69: :: BORSUK_6:69

for x being Point of I[01] st x >= 1 / 2 holds
[x,0] in ICC