Proof
By the multiplication rule and the definition of independence, for any events A and B
\begin{equation*}
P(A) \cdot P(B) = P(A \cap B) = P(A) \cdot P(B | A) .
\end{equation*}
Therefore, if P(A) is non-zero, canceling yields the first result. Switching around notation provides the second.