The product of any family of compact topological spaces is compact (in the product topology). Equivalent to AC over ZF.