thus Triangle 3 = (1 + 2) + 3 by RVSUM_1:78, FINSEQ_2:53
.= 6 ; :: thesis: verum