theorem Th86: :: NUMPOLY1:86
SumsReciTriang = (seq_const 2) + (- (geo-seq (2,1)))