形式的には、formula_56という遷移を導入する。