A semigroup proof of the Sharpe-Lotka theorem