User blog comment:Wythagoras/Dollars function/@comment-5029411-20130709184314

theta(I_I...) = theta(Kappa).

theta(Kappa_Kappa_...) = theta(Lambda)

lambda(n+1,0) = lambda(n,lambda(...))

lambda(n+1,m+1) = lambda(n,lambda(...lambda(n,lambda(n+1,m)+1)...))

lambda(Omega) = lambda(lambda(Omega))