On the Equivalence Between Proximity Structures and Totally Bounded Uniform Structures. - Alfsen, E. M.; Fenstad, J. E. (MATHEMATICA SCANDINAVICA, 1959)