Stone's_theorem_on_one-parameter_unitary_groups loading ...