No.11221746 ViewReplyOriginalReport
>Given any family of nonempty sets, their Cartesian product is a nonempty set.
How can anyone disagree with this?