つまり、formula_17となるので、ρ≠ 0であることから、