theorem Th40: :: BORSUK_1:40

the carrier of I[01] = [.0,1.]