nLab says "The category of totally bounded uniform spaces and uniformly continuous functions is equivalent to the category of proximity spaces and proximally continuous functions":

How to prove this? Maybe, I already have a general topology book with this proof? Both answers with references and (better) answers with a complete proof are appreciated.