formula_1を-代数とする。