How to prove the convergence of iterative algorithm in cvUndistortPointsInternal?

I appreciate your patience.
After reading the related math materials, my confusion disappeared!
Thanks a lot!