A1: 6 ^2 = 36 ;
Triangle 8 = ((8 + 1) * 8) / 2 by Th19
.= 36 ;
hence ( 36 is square & 36 is triangular ) by A1; :: thesis: verum