theorem :: BORSUK_7:21

canceled;