theorem :: BORSUK_7:28

canceled;