ただし、formula_4は標準基底とする。