theorem Th86: :: NUMPOLY1:86

SumsReciTriang = (seq_const 2) + (- (geo-seq (2,1)))