https://9dok.org/document/q2n9rnl6-a-separation-theorem-for-totally-sewn-polytopes.html