# Proof:Two definitions of independence are equivalent

Proof:
By the definition of conditional probability, we have . Multiplying both sides by gives

.

If , then the above equation becomes .

Conversely, if we assume , then dividing both sides by gives .