theorem Th11: :: NUMPOLY1:11

Triangle 1 = 1 by FINSEQ_2:50, RVSUM_1:73;