Bayes theorem is applicable when the events are:
have nonzero probabilities
pairwise disjoint
exhaustive
pairwise disjoint, exhaustive and have nonzero probabilities
pairwise disjoint, exhaustive and have nonzero probabilities
This is a prerequisite condition for Baye’s theorem.