ボックス＝ミュラー変換が標準正規分布を与えることは、特性関数を調べることで確認できる。