theorem :: SEQFUNC:12

canceled;