Multiplicative Area Potentials for Edge–Point Assignments in Convex Polygons

A note proving that Bui's edge-point swap process in a strictly convex polygon terminates along every execution, via a multiplicative area potential; with capacitated and convex-subdivision extensions.