theorem :: BORSUK_7:29

canceled;