このとき、"x" 上の距離で、それに関して "f" が縮小定数1/2についてバナッハの縮小原理の条件を満たすようなものが存在する。