1 = 1 ^2 ;
hence ( 1 is triangular & 1 is square ) by Th11; :: thesis: verum