theorem :: FINSEQ_4:64

canceled;