theorem :: BORSUK_7:22

canceled;