A theorem on polygon cutting with applications | Synapse