theorem :: BORSUK_7:13

canceled;