Comment by Kranar

The two statements imply each other, they are logically equivalent:

https://en.wikipedia.org/wiki/Product_topology#Axiom_of_choi...

>One of many ways to express the axiom of choice is to say that it is equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.