ここで、系を作用素formula_33で表す。