“…The proof is a straightforward application of the definitions of H σ,ρ 0 , H σ,ρ 0 , and H σ,1,ρ 0 . We use that the factor (n + 1) 4 appearing in the infinite sums in the definition of || • || H σ,ρ 0 implies control over similar infinite sums with one additional ρ + or ρ c derivative, but no factor (n + 1) 4 . This allows us to conclude that not only m ∈ H σ,ρ 0 , but in fact m ∈ H σ,1,ρ 0 .…”