This theorem shows that the solution operators for a well-posed autonomous [abstract Cauchy problem](/page/Abstract%20Cauchy%20Problem) form a strongly continuous semigroup. The result formalizes time translation and uniqueness as the algebraic semigroup law for the evolution.