Ricci curvature and convergence of Lipschitz functions - Shouhei Honda (2010)