This theorem shows that when the initial state lies in the domain of the generator, the corresponding semigroup orbit is a classical solution. It upgrades the mild semigroup solution to differentiability in time and identifies its derivative with the generator action.