Towers and nested exponentials are difficult to deal with in their pure form, since a 0 or 1 in any exponent can cancel out all higher exponents, and the higher exponents influence the final value much more than the lower exponents. To have more tools available to deal with towers, it would be nice to be able to convert nested exponentials into a power series.

If you're wondering why the theorem is boxed, it's because it is my theorem, derived from scratch after months of hard work.

where `k`_{0} = 1.

We can prove this by induction. For clarity, we can substitute without loss of information. As a basis (case 1), we know that:

If we assume the following (case `n`):

where `k`_{0} = 1, then it follows that:

which is case (`n` + 1). Since case `n` implies case (`n` + 1),
substituting `z` = 1 and
proves the theorem.