Theorem 2.4

Suppose that E and F are event from a sample space S such that P(E)>0 and P(F)>0. Then
P(F|E)=P(E|F)P(F)P(E|F)P(F)+P(E|F)P(F)