Please, areAre there any applications forof the following fact.?:
Let $X$ be a complete, Hausdorff semisemi-metric space with a collection of semi-metrics $\{d_\alpha(\cdot,\cdot)\}_{\alpha\in A}.$ A mapping Further let $f:X\to X$ isbe a continuous and has the foloowing property.mapping such that Forfor any $\alpha\in A$ one can define an element$\alpha \in A$ there is a $\gamma\in A$$\gamma \in A$ and a number $c>0$$c > 0$ such that $$d_\gamma(f(x),f(y))\le d_\gamma(x,y)-cd_\alpha(x,y),\quad \forall x,y\in X.$$ Th. The mappingThen $f$ has a unique fixed point.