User talk:TakuyaMurata/Uniform contraction principle