6.12.4 Probability of Independent Events