Redirecting to Stone's theorem on one-parameter unitary groups