Let $X$ and $Y$ each be a D16: Countable set such that
(i) | $X \times Y$ is the D191: Binary cartesian set product of $X$ with $Y$ |
Then $X \times Y$ is a D16: Countable set.