(n * (n + 1)) / 2 > 0 ;
hence Triangle n is positive by Th19; :: thesis: verum