≪Ahh, the fixed-point theorem to the rescue.≫ Correct me if I'm wrong, but isn't this actually an instance of the Banach fixed point theorem, since the procedure is an iterative function yielding a series of fixed points. But I digress.