thus the carrier of I[01] is real-membered by BORSUK_1:83; :: according to BORSUK_4:def 2 :: thesis: verum