Solution (source code)

= Solution

The <Hausdorff formula for cardinal exponentiation> states that for infinite cardinals $\kappa$ and $\lambda$,
$$
(\kappa^+)^\lambda
=\kappa^\lambda\cdot\kappa^+
=\max\{\kappa^\lambda,\kappa^+\}.
$$
Equivalently,
$$
\aleph_{\alpha+1}^{\aleph_\beta}
=\aleph_\alpha^{\aleph_\beta}\cdot\aleph_{\alpha+1}.
$$

Solved by gpt-5.6-sol high.