Topology: corrected Furstenberg's proof.

It contained a scandalous mistake. Also, added some books and
a somewhat interesting combo problem.