cardinal exponentiation under GCH

Many results about cardinal exponentiation can neither be proved nor disproved in ZFC. If, however, we allow ourselves to use GCH in addition to ZFC, then we have the following theorem, which gives an essentially complete description of the way cardinal exponentiation involving infinite cardinals works.

Theorem.

Assume the Generalized Continuum Hypothesis holds.Let $\\kappa$ and $\\lambda$ be cardinals,at least one of which is infinite,and such that $\\kappa>0$ and $\\lambda>1$ .Then

\\lambda^{\\kappa}=\\begin{cases}\\kappa^{+},&\\text{if}\\quad\\lambda\\leq\\kappa^{+};%\\\\\\lambda^{+},&\\text{if}\\quad\\operatorname{cf}(\\lambda)\\leq\\kappa\\leq\\lambda;\\\\\\lambda,&\\text{if}\\quad\\kappa<\\operatorname{cf}(\\lambda).\\end{cases}

Here, $\\operatorname{cf}(\\lambda)$ is the cofinality of $\\lambda$ , and $\\lambda^{+}$ is the cardinal successor of $\\lambda$ .