"a" を "h" 上の有界作用素とするなら、"a" はformula_3上の有界作用素formula_8を