sentences:  Note that one formulation of AC is that the Cartesian product of a family of nonempty sets is nonempty; but since the empty set is most certainly compact, the proof cannot proceed along such straightforward lines.Thus Tychonoff's theorem joins several other basic theorems (e.g.that every vector space has a basis) in being "equivalent" to AC.