しかも無限小生成元は自己共役作用素であり、任意のformula_453に対し、