Since $\mathbb{P}(E) \in (0, 1)$ ensures that $\mathbb{P}(E) > 0$ and $\mathbb{P}(E^{\complement}) > 0$, this result is a particular case of R3404: Bayes' theorem in the case of two events. $\square$