theorem :: BORSUK_4:2

canceled;