The paper offers strong theoretical results and is well written. The practicability of the approach is questionable, but this paper gives an important step towards further developments of the topic, including a more practical algorithm.