theorem :: BORSUK_4:34

I(01) is open ;