( eseq is summable & Sum eseq = exp_R 1 )