複素関数formula_9が経路formula_10上に極を持つとする。