theorem :: NUMPOLY1:89

Sum ReciTriangRS = 2 by Th84, Def14, Th87;