Lengkapi pembuktian Teorema Tychonoff: jika setiap ultrafilter citra \(\pi_i(\mathcal F)\) konvergen ke \(x_i\text{,}\) buktikan bahwa \(\mathcal F\) konvergen ke \(x=(x_i)\) dalam topologi hasil kali.