Show P(A union B) = P(A) + P(B) - P(A intersection B) via Kolmogorov