Proved RseqpolyC_size_seqpoly