Corollaire 2

Le produit d’une famille finie $(\alpha_i)_{i \in I}$ de cardinaux non nuls, dont le plus grand est un cardinal infini $\alpha$, est égal à $\alpha$. Soit $b$ ce produit, et soit $n$ le nombre d’éléments de $I$; on a $b \leqslant \alpha^n = \alpha$ (III, p. 30, prop. 14); d’autre part, comme $\alpha_i \geqslant 1$ pour tout $i$, on a $b \geqslant \alpha$ (III, p. 30, prop. 14).