The conditional probability of an event assuming that
has occurred, denoted
, equals
|
(1)
|
which can be proven directly using a Venn diagram. Multiplying through, this becomes
|
(2)
|
which can be generalized to
|
(3)
|
Rearranging (1) gives
|
(4)
|
Solving (4) for and plugging in to (1) gives
|
(5)
|