question.md

Prove Equation (kolmogorov-disjunction-equation) from Equations basic-probability-axiom-equation and (proposition-probability-equation.