Mutually exclusive events sum to one

apply the property that the probabilities of an exhaustive set of outcomes sum to one;

apply the property that the probabilities of an exhaustive set of mutually exclusive events sum to one