thus the carrier of I[01] is real-membered by BORSUK_1:40; :: according to TOPMETR:def 8 :: thesis: verum