 Tychonoff's theorem

An arbitrary product of compact spaces is compact in the product topology. The theorem is equivalent to the axiom of choice.