theorem :: ALGSEQ_1:1

canceled;