The text left me wanting a more formal treatment of the theorem. I went ahead and found a paper which does just that: https://dl.acm.org/doi/10.1145/564585.564

The text left me wanting a more formal treatment of the theorem. I went ahead and found a paper which does just that: https://dl.acm.org/doi/10.1145/564585.564601 https://dl.acm.org/doi/10.1145/564585.564601 PDF: https://users.ece.cmu.edu/~adrian/731-sp04/readings/GL-cap.pdf https://users.ece.cmu.edu/~adrian/731-sp04/readings/GL-cap.p...