>>473 がTychonoffの定理を使っていないと言っても、
全有界かつ完備な一様空間は準コンパクトであるという過去スレ006の310の
結果は使っている。この証明には極大フィルターを使っているので
この点、Tychonoffの定理の証明と同じである。