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