“…Proposition 2.13. Assume that m is f 1,∞ -conformal as above and there exists k ∈ N, 0 < α ≤ 1, ǫ > 0 such that the functions (ψ n ) n satisfy the locally Hölder condition (10). Then any (δ, λ)-preball of a point (k, x) ∈ M with 0 < δ ≤ ǫ, 0 < λ < 1 has bounded distortion, i.e., satisfies (5) with distortion constant K = K(δ, λ, C k ) uniform on x and on the order of the preball.…”