theorem :: BORSUK_4:3

canceled;