take Triangle 1 ; :: thesis: ( Triangle 1 is triangular & Triangle 1 is square & not Triangle 1 is zero )
1 = 1 ^2 ;
hence ( Triangle 1 is triangular & Triangle 1 is square & not Triangle 1 is zero ) by FINSEQ_2:50, RVSUM_1:73; :: thesis: verum