§ Tychonoff theorem (WIP)