“…On the other hand, let u ∈ E (T N ) be such that P u ∈ E (ω) (T N ). Since, by condition (ii), P is elliptic in t, we have (t, x, τ, 0) ∈ W F (ω) (u) for any (t, x) ∈ T n and τ ∈ R m \ {0} (see [2,Theorem 4.1] or, also, [3, Theorem 3.15] for non quasi-analytic weight functions). So, we can apply Theorem 3.1 to conclude that u ∈ E (ω) (T N ).…”