“…holds for all x ∈ K, ξ ∈ Γ with b −1 ≤ |ξ| ≤ b, λ ≥ 1 by taking t = t 0 , since ϕ λ (0) = ϕ 0,λ and x(t 0 ; λ) = x. Then Theorem 1.1 of [12] which is a refinement of Theorem 2.2 of [19] and Theorem 3.22 of [9], shows that ( 15) is equivalent to (x 0 , ξ 0 ) / ∈ WF(u(t 0 , •)), i.e., we have (i) in Theorem 1.6. Hence we prove P (MM 0 , ϕ 0 ) by the induction with respect to N for some small constant M 0 .…”