theorem :: RFINSEQ2:23

canceled;