We also show how to modify the method so that vertices become very close but not co-incident, in which case we need O(n2) moves, where each move translates a single vertex.
The proof involves a new visibility property of polygons, namely that every simple polygon has a visibility-increasing edge where, as a point travels from one endpoint of the edge to the other, the visibility region of the point increases.