 Solution

For a finite or countable partition of a set into events $B_i$, the law of total probability statesThe events $A\cap B_i$ are pairwise disjoint and have union $A$, so countable additivity proves the formula. Terms with $\mathbb{P}(B_i)=0$ contribute zero and are omitted to avoid undefined conditional probabilities.