theorem Th23: :: IRRAT_1:23

( eseq is summable & Sum eseq = exp_R 1 )