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