>>553
特性関数を計算すればZtが独立増分を持ち然るべき正規分布に従うのは直ちに分かる