What is the sum of the probabilities of a discrete random variables?​