Hacker News Reader

I don't doubt it, but I don't immediately see the proof either. What's the key idea?

Most spaces that computers deal with are basically discrete.

Technically this may not always be the case but it's very hard to construct a convincing counter example.