すなわちformula_19である。