thus Triangle 4 = (Triangle 3) + (3 + 1) by Th10
.= 10 by Th13 ; :: thesis: verum