thus Triangle 6 = (Triangle 5) + (5 + 1) by Th10
.= 21 by Th15 ; :: thesis: verum