 Generator of a strongly continuous semigroup is closed and densely defined

The Yosida averaging of a semigroup gives $x_h=h^{-1}{\int }_0^{h}S(t)xdt\in D(A)$ with $x_h\to x$, proving that the generator domain is dense. For $x\in D(A)$, the Bochner integral identity $S(t)x-x={\int }_0^{t}S(s)Axds$ holds. If $x_n\to x$ and $A{x}_n\to y$, pass to the limit in this identity and divide by $t$. The strongly continuous semigroup property makes the resulting limit $y$, so $x\in D(A)$ and $Ax=y$. This proves that the infinitesimal generator of a semigroup is a closed operator.