theorem Th60: :: BORSUK_6:60

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