しかし、他の3点formula_52、formula_53、formula_54では