Can we prove that for any simple polygon with more than 3 vertices there always exists a diagonal which:
- is inside the polygon
- doesn't intersect with any edges
- splits the polygon in two polygons in such a way that the difference between their vertex counts is smaller than 2 (e.g. splits a polygon with 29 vertices into polygons with 15 and 16 vertices)?