theorem Th84: :: NUMPOLY1:84

for n being Nat holds (Partial_Sums ReciTriangRS) . n = 2 - (2 / (n + 1))