Theorem 4.3.5.

\begin{equation*} P(\emptyset) = 0 \end{equation*}

Proof.

in-context