take Triangle 1 ; :: thesis: ( Triangle 1 is triangular & not Triangle 1 is zero )
thus ( Triangle 1 is triangular & not Triangle 1 is zero ) ; :: thesis: verum