theorem :: RFINSEQ2:22

canceled;