Finished proof of convergence of the tower above.