 reserve n,s for Nat;

theorem
  Sum ReciTriangRS = 2 by Th84,Def14,Th87;
