theorem :: FINSEQ_2:1

canceled;