Tychonoff's theorem — theorem