なんてのが出てきていますが、前回の記事・定理3でを示しているので、一般にの計算方法がわかればこれも計算できます。いうふうに変数を変換します。簡単な微分方程式を満たすことがわかりました。定数としてとされます。することで、より、が得られました。表示式に代入するとこれで定理左辺の計算は終わったので、右辺の計算に移行しましょう:実部の計算は面倒なのでそこだけ抜き出して行うと、となるので、がわかります。差し替えることで、となって、定理左辺と一致しました。どこか物足りない感じがしますね。代入することを表しています。乗するというところに現れています。なると、正規積に関連付けたくなりますね。実際、そういった言い換えが存在します:[クロネッカーの極限公式・正規積バージョン][証明]正規積の定義(以下記事参照)より、o-v-e-r-h-e-a-t.hatenablog.comとしておきます。して表記されていますがなんかダサいのでやめました)。