[dang]

That comment is https://news.ycombinator.com/item?id=45496427 (same subthread as this). Anyone can look and see that it's a counterexample.

Similarly: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...