Tychonoff theorem