如何证明离散型随机变量