Theorem
4.3.5
.
\begin{equation*} P(\emptyset) = 0 \end{equation*}
Proof
.
in-context