>>Vivantiの定理
一松 「解析学序説」下巻、旧版
にあるよ
(新版にあるかどうかは失念しました)