Bayes' Theorem under Conditional Independence