The uniform space analogue of Alexander's subbase lemma on compact subbase is (As we know, Alexander subbase lemma can be used to prove Tychonoff's theorem) : 


Let $(X,\mathcal{U})$ be a uniform space such that for each member $U$ of some subbase for $\mathcal{U}$ there is a finite cover $A\_{1}$, $A\_{2}$,...,$A\_{n}$ of $X$ such that $A\_{i}\times A\_{i}\subset U $ for each $i$. Then the space $(X,\mathcal{U})$ is totally bounded. 


I was wondering how to prove this theorem. Is the proof of this theorem similar to Alexander's theorem? Moreover, if above theorem holds we can get a new proof of Tychonoff's theorem for completely regular spaces from following facts:


1. A topology $\mathcal{T}$ for a set $X$ is the uniform topology for some uniformity for $X$ if and only if the topological space $(X,\mathcal{T})$ is completely regular.
2. A uniform space is compact if and only if it is totally bounded and complete.
3. The product of complete spaces is complete.
4. The product of uniform spaces is totally bounded if and only if each coordinate space is totally bounded. (Only this fact needs to use above theorem)


Any and all help is appreciated.



The subbase theorem for total boundedness
It seems the following. 


The answer is positive. Let $\mathcal S$ be a subbase satisfying the condition and $U\in\mathcal U$ be an arbitrary entourage. Then there exists a finite subfamily $\mathcal V=\{V\_1,V\_2\dots, V\_n\}$ of the family $\mathcal S$ such that $\bigcap\mathcal V\subset U$. For each member $V\_i$ of the family $\mathcal V$ there exists a finite cover $\mathscr A\_i$ of the set $X$ such that $A\times A\subset V\_i$ for each $A\in\mathscr A\_i$. Put $\mathscr A=\{A\_1\cap A\_2\cap\cdots\cap A\_n: A\_i\in \mathscr A\_i$ for each $i\} $. Then $\mathscr A$ is a finite cover of the set $X$ such that $A\times A\subset V\_i$ for each $A\in\mathscr A$ and each $i$. So $A\times A\subset \bigcap\mathcal V\subset U$ for each $A\in\mathscr A$. 


