theorem :: FINSEQ_3:28

canceled;