theorem :: FINSEQ_4:79

canceled;