Cartesian Product of Family is Empty iff Factor is Empty