Conditional Probability Theorem