[bmacho]

> The axiom of choice says that the product of infinitely many non-empty sets is empty.

You mean non-empty.