Misalkan semua \(X_i\) ruang Hausdorff takkosong. Buktikan bahwa \(\prod_{i\in I}X_i\) kompak lokal jika dan hanya jika setiap \(X_i\) kompak lokal dan semua kecuali berhingga banyak faktor kompak. Nyatakan dengan jelas tempat penggunaan Teorema Tychonoff.