离散型随机变量的期望的性质怎么证明