theorem :: FINSEQ_1:81

canceled;