13-6.1.1 Discrete probability distribution, basic