This result is a particular case of R2677: Law of total probability for a countable partition of events of positive probability. $\square$