theorem Th30: :: BORSUK_4:33

the carrier of I(01) = the carrier of I[01] \ {0,1}