theorem :: FINSEQ_6:112

canceled;