動画内では証明を挫折したことになっていますが、証明は完成してます。「」様主催の演習問題バトルの視聴者向け問題の答えとだれか様のその応用問題の答えの中編です。
http://www.nicovideo.jp/watch/sm43081080