theorem :: BORSUK_7:23

canceled;