“…Define u(y, j) = P y,j (σ E < τ G ) for (y, j) ∈ R d × M. Then u(y, j) = E y,j 1 {X(τ G\E )∈E} . Hence u(y, j) is a G-harmonic function in G \ E × M. By Remark 2.1(c) and [6, Theorem 3.4], u(y, j) > 0 for all (y, j) ∈ (G \ E) × M. Let H be a domain such that D ⊂ H ⊂ H ⊂ G. Define v(y, j) = E y,j u (X(τ H ), Λ(τ H )) for (y, j) ∈ H × M.Again by Remark 2.1(c) and[6, Theorem 3.4], v(y, j) > 0 for (y, j) ∈ H × M. By Remark 2.1(c) and the Harnack inequality[6, Theorem 4.7], there is a constant δ 1 ∈ (0, 1) such that inf (y,j)∈D×M…”