theorem Th40: :: BORSUK_1:40
the carrier of I[01] = [.0,1.]