theorem :: FINSEQ_3:27

canceled;