thus Triangle 7 = (Triangle 6) + (6 + 1) by Th10
.= 28 by Th16 ; :: thesis: verum