正規分布の加法性とかで証明載ってない?