I put together some visualization and examples of the proof. The discussion here [1] was sometimes confused about the content.

[1] https://news.ycombinator.com/item?id=48863490