Bayes Rule

Which is shorthand for: