theorem :: BORSUK_4:32

for A being Subset of I[01] st A = the carrier of I(01) holds
I(01) = I[01] | A by PRE_TOPC:8, TSEP_1:5;