 reserve n,s for Nat;

theorem
  Partial_Sums ReciTriangRS = SumsReciTriang by Th84,Def14;
