theorem :: ALGSEQ_1:2

canceled;