対して、Leibniz則よりであるが、なので、とすればが成り立つ。従って、−14を示せばよい。mathtrain.jpの最後の公式からであり、なので、を得る。多項式としての係数の絶対値評価を行う。上から評価できることに注意する。係数の絶対値はと押さえられる。係数の絶対値は−15で上から押さえられる。ここで、重複組合せの評価を使った。係数の絶対値は−16で押さえられる。係数の絶対値はで押さえられることがわかった。Q.E.D.証明の完結とする。進展開を利用してと定義する。定義式と1からと書けることがわかる。分だけ自由度がある)。