“…implies that,P (Φ t ∈ A) ≥ P (G) = P ( M + (x 0 (1), (1), B 1 , ′ (1), t, ) ) m ∏ j=2 P ( M − (x 0 (j), (j), B k , ′ (j), t, ) ) ,and the bound in(10) and hence the result of the proposition follow from the bound in the lemma immediately below. ▪ In the notation and under the assumptions of the above proof, for any position x ∈ S, and pair of directions , ′ ∈ {+1, −1}, any measurable C ⊂ S, and any initial state ∈ Σ, we have,P ( M + (x, , C, ′ , t, ) ) ≥ c (C), with c = 1 4 e −1 2e −3t∕2 .…”