theorem Th61: :: BORSUK_6:61

for x being Point of I[01] holds [0,x] in IAA