Redirecting to Tychonoff's theorem