theorem :: BORSUK_4:1

canceled;