additivity of the variance, discrete probability distribution