Triangle n = Polygon (3,n) by Th40;
hence Polygon (3,n) is triangular ; :: thesis: verum