thus Triangle 5 = (Triangle 4) + (4 + 1) by Th10
.= 15 by Th14 ; :: thesis: verum