theorem Th59: :: BORSUK_6:59

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