theorem :: BORSUK_2:4

canceled;