ここで、2番目の式でformula_15が使われていることに注意する。