Equivalence of Definitions of Independent Events

Theorem
Let $\EE$ be an experiment with probability space $\struct {\Omega, \Sigma, \Pr}$.

Let $A, B \in \Sigma$ be events of $\EE$ such that $\map \Pr A > 0$ and $\map \Pr B > 0$.