theorem :: FINSEQ_2:6

canceled;