Prove characterization of uniform topology