theorem :: BORSUK_2:11

canceled;