この座標はformula_23,formula_24を満足する。