theorem :: ALGSTR_1:14

canceled;