theorem :: FINSEQ_4:77

canceled;