Oración 1: 38 Se concluye entonces que A ⊆ Mq
Oración 2: si f ∈ D(Mq), sea g := Mqf ; entonces, para(todo ∫z ∈ Ω y todt )o t ≥ 0, ∫ t f + T (τ)g dτ (z) = f(z) + eτq(z)q(z)f(z) dτ 0 (0 ) = f(z) + etq(z() − 1 f)(z) = etq(z)f(z) = T (t)f (z), de donde, por el lema 2.22
Conector: por otro lado,
Relación: contrasting
Género: theses