Theorem 4.5.5. Multiplication Rule.

For any sets A and B,
\begin{equation*} P(A \cap B) = P(A) P(B | A) = P(B) P(A | B) \end{equation*}

Proof.

in-context