0 = 0 ^2 ;
then ( Triangle 0 is triangular & Triangle 0 is square ) ;
hence ( 0 is triangular & 0 is square ) ; :: thesis: verum