theorem Th70: :: BORSUK_6:70

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