theorem :: NUMPOLY1:88

Partial_Sums ReciTriangRS = SumsReciTriang by Th84, Def14;