Conditional probability formula for independent events