The proof of Theorem 3.5 can be found in [1]}. Theorem 3.5 is not used
in this article, and is useful for proving the well-posedness for initial
boundary value problems for fractional partial differential equations
(see e.g., [1]}, [3]}, [4]}).
