published proof is contained in a 1935 article by Tychonoff, "Über einen Funktionenraum". Tychonoff's theorem is often considered as perhaps the single most...