[bollu]

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

[contravariant]

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.