thus the carrier of (TOP-REAL 0 ) is real-membered by EUCLID:25, JORDAN2C:113; :: according to BORSUK_4:def 2 :: thesis: verum