theorem :: BORSUK_7:24

canceled;