作用素formula_13は関係式