theorem
  Partial_Sums ReciTriangRS = SumsReciTriang by Th84,Def14;
