Sharafutdinov Retraction Is Distance Nonincreasing