Constructible_polygon