thus Triangle 8 = (Triangle 7) + (7 + 1) by Th10
.= 36 by Th17 ; :: thesis: verum