§ Product of compact spaces in compact