theorem Th30: :: BORSUK_4:33
the carrier of I(01) = the carrier of I[01] \ {0,1}