thus the carrier of RealSpace is real-membered ; :: according to BORSUK_4:def 2 :: thesis: verum