Sum ReciTriangRS = 2 by Th84, Def14, Th87;