ThmDex – An index of mathematical definitions, results, and conjectures.
P3390
Proceeding from the definition, we have \begin{equation} \mathbb{P}(E \mid E) = \frac{\mathbb{P}(E \cap E)}{\mathbb{P}(E)} = \frac{\mathbb{P}(E)}{\mathbb{P}(E)} = 1 \end{equation} $\square$