theorem Th87: :: NUMPOLY1:87

( SumsReciTriang is convergent & lim SumsReciTriang = 2 )