A1: 35 ^2 = 1225 ;
Triangle 49 = (49 * (49 + 1)) / 2 by Th19
.= 1225 ;
hence ( 1225 is triangular & 1225 is square ) by A1; :: thesis: verum