theorem :: BORSUK_7:25

canceled;