>>547の修正

命題
K を複素数体とする。
U ⊂ K を開集合とし、f: U → K を U 上の C^1 級の関数とする。
ψ: [a, b] → U を区分的に C^1 級のパラメータ付き曲線(>>486)とする。

このとき、
∫[ψ] f’(z) dz = f(ψ(b)) - f(ψ(a)) である。

証明
>>546と>>530による。