theorem :: ALGSTR_1:15

canceled;