3点formula_2、formula_3、formula_4でformula_1の値が評価されているものとする。