分散が0より大きいことから直接導けるんじゃない?