ยง Tychonoff theorem (WIP)