Oración 1: entonces, para todo ω > 0, ∥T (t)∥ ≤ Meωt1 con M := máx 1, 1, con lo cual ω0(T ) ≤ 0
Oración 2: dado x ∈ D(A), la función ξ(t) := T (t)x es límite uniforme (en [0, t0]) de las funciones continuas ξn(t) := Tn(t)x y por tanto continua, en particular, continua por la derecha en t = 0
Relación: neutral