theorem :: BORSUK_5:1

canceled;