This is a simplification of the extended Bayes' Theorem, which assumes that all variables are independent of each other.