theorem of addition of probabilities