Theorem 3.25. $\mathrm{Fn}(\omega \times {\aleph }_2^M,2)$ has the countable chain condition.