formula_15が "ρ"(a)&lt;1を導くことは以下のようにしてわかる。