theorem :: ALGSEQ_1:11

canceled;