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