theorem :: BORSUK_7:26

canceled;