theorem :: BORSUK_7:27

canceled;