既に示したように、formula_52がformula_11に高々位数1の極を持つことを除きformula_50は正の実軸上で正則である。